-- learn some toy knowledge:
days |weekday> => split[" "] |Monday Tuesday Wednesday Thursday Friday>
days |weekend> => split[" "] |Saturday Sunday>
-- now find their union:
op-union[days] split[" "] |weekday weekend>
|Monday> + |Tuesday> + |Wednesday> + |Thursday> + |Friday> + |Saturday> + |Sunday>